$\vdash$  $\cdot$ $\in$ Unit